344. emam,BL
المؤلف: \ , Katharina Hranitzky... [et al],\ Colonel Trevor N. Dupuy
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
346. f-sultanmuhamad
المؤلف: edited by Joseph Chinyong Liow and Ralf Emmers.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
347. 1579583873 (set : alk. paper)
المؤلف: Cynthia Cockburn.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
348. t. 1. Armi� a︡nskai� a︡ rukopisnai� a︡ kniga VI-XIV vekov 20
المؤلف: [sostaviteli i avtory teksta V.O. Kazari� a︡n, S.S. Manuki� a︡n].
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
349. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
المؤلف: edited by W. Bibel and R. Kowalski
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
87
350. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
المؤلف: edited by W. Bibel and R. Kowalski
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
87
352. xxvii, 666, [42] p. :
المؤلف: Michael R. Czinkota, Ilkka A. Ronkainen.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
